\begin{tabbing}
es{-}decl(${\it es}$;${\it ds}$;${\it da}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=($\forall$$i$:Id. es{-}state(${\it es}$;$i$) $\subseteq$r (${\it ds}$($i$)))\+
\\[0ex]\& ($\forall$$i$:Id, $k$:Knd. ($\uparrow$hasloc($k$;$i$)) $\Rightarrow$ (es{-}kindtype(${\it es}$;$i$;$k$) $\subseteq$r (${\it da}$($i$,$k$))))
\-
\end{tabbing}